Applying ELAN Strategies in Simulating Processors over Simple Architectures

نویسندگان

  • Mauricio Ayala-Rincón
  • Rinaldi Maya Neto
  • Ricardo Pezzuol Jacobi
  • Carlos H. Llanos
  • Reiner W. Hartenstein
چکیده

The simulation of processors over simple architectures is important for enabling test and veri cation prior to the expensive implementation involved in the development of new hardware technologies. Arvind's group has illustrated how to describe processors by term rewriting systems and has introduced a technique for proving the correctness of speci cations for elaborated processors with respect to basic ones. They propose that the described processors should be simulated over standard hardware description languages such as Verilog, after translating these rewrite descriptions adequately, and not directly over the rewriting speci cations. In this work we show how rewriting-logic may be applied for purely rewriting based speci cation as well as simulation of processors. Furthermore, we show how rewriting based simulation may be used for evaluating the performance of important hardware aspects of processors. Rewriting-logic environments such as ELAN, the one we use here, are suÆciently versatile to allow for adequate speci cations and simulations which through easy modi cations of the strategies enable a dynamic veri cation of aspects intrinsically related to hardware properties such as the size and control of reorder bu ers and the method of predictions used by speculative processors. c 2002 Published by Elsevier Science B. V.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

WRS 2002 - accepted papers

s of papers accepted for presentation The Sketch of a Polymorphic Symphony Ralf Laemmel Functional strategies were previously defined as first-class generic functions which can traverse into terms while mixing uniform and type-specific behaviour. The first-class status is witnessed by a combinator style of generic programming. This symphony reconstructs functional strategies as an amalgamation ...

متن کامل

REM (Reduce Elan Machine): Core of the New ELAN Compiler

ELAN is a powerful language and environment for specifying and prototyping deduction systems in a language based on rewrite rules controlled by strategies. It offers a natural and simple logical framework for the combination of the computation and deduction paradigms. It supports the design of theorem provers, logic programming languages, constraint solvers and decision procedures. ELAN takes f...

متن کامل

Ultra-Low-Energy DSP Processor Design for Many-Core Parallel Applications

Background and Objectives: Digital signal processors are widely used in energy constrained applications in which battery lifetime is a critical concern. Accordingly, designing ultra-low-energy processors is a major concern. In this work and in the first step, we propose a sub-threshold DSP processor. Methods: As our baseline architecture, we use a modified version of an existing ultra-low-power...

متن کامل

Evaluating the effect of using biophilic design and architecture strategies on the improvement of physical and mental health indicators of patients admitted to selected hospitals from the perspective of architectures, patients and patiens’ companions

  Introduction: The revolution in hospital design is called biophilic design; because the application of biophilic design in hospitals is one of the cornerstones of the humanization of health centers and hospitals. In this regard, the aim of this study was to Evaluating the effect of using biophilic design and architecture strategies on the improvement of physical and mental health indicators ...

متن کامل

Architectural Specification, Exploration and Simulation Through Rewriting-Logic

In recent years Arvind’s Group at MIT has shown the usefulness of term rewriting theory for the specification of processor architectures. In their approach processors specified by term rewriting systems are translated into a standard hardware description language for simulation purposes. In this work we present our current investigation on the use of Rewriting-Logic, which is a more powerful th...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Electr. Notes Theor. Comput. Sci.

دوره 70  شماره 

صفحات  -

تاریخ انتشار 2002